Satisfiability problem
[计] 可满足性问题
🧩 词语组成解析
[计] 可满足性
🗣️ 情景例句
Bye, Dad.
再见， 爸爸。
It is good to learn at another man's cost.
前车之覆，后车之鉴。
Verrazano, an Italian about whom little is known, sailed into New York Harbour in 1524 and named it Angouleme.
1524年，一位鲜为人知的意大利人维拉萨诺驾船驶进纽约港，并将该港名为安古拉姆。